ar X iv : c s . PL / 0 70 11 47 v 1 24 J an 2 00 7 CurryBrowser : A Generic Analysis Environment for Curry Programs ⋆
نویسنده
چکیده
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application written in Curry, i.e., the main module and all directly or indirectly imported modules. Each module can be shown in different formats (e.g., source code, interface, intermediate code) and, inside each module, various properties of functions defined in this module can be analyzed. In order to support the integration of various program analyses, CurryBrowser has a generic interface to connect local and global analyses implemented in Curry. CurryBrowser is completely implemented in Curry using libraries for GUI programming and meta-programming.
منابع مشابه
CurryBrowser: A Generic Analysis Environment for Curry Programs?
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application written in Curry, i.e., the main module and all directly or indirectly imported modules. Each module can be shown in different formats (e.g., source code, interface, intermediate code) and, inside each module, variou...
متن کاملA Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application written in Curry, i.e., the main module and all directly or indirectly imported modules. Each module can be shown in different formats (e.g., source code, interface, intermediate code) and, inside each module, variou...
متن کاملar X iv : 0 70 7 . 04 47 v 1 [ m at h . R A ] 3 J ul 2 00 7 Subrings which are closed with respect to taking the inverse
Let S be a subring of the ring R. We investigate the question of whether S ∩ U(R) = U(S) holds for the units. In many situations our answer is positive. There is a special emphasis on the case when R is a full matrix ring and S is a structural subring of R defined by a reflexive and transitive relation.
متن کاملar X iv : 0 70 6 . 03 82 v 1 [ gr - q c ] 4 J un 2 00 7 Properties of the Volume Operator in Loop Quantum Gravity II : Detailed Presentation
The properties of the Volume operator in Loop Quantum Gravity, as constructed by Ashtekar and Lewandowski, are analyzed for the first time at generic vertices of valence greater than four. The present analysis benefits from the general simplified formula for matrix elements of the Volume operator derived in [24], making it feasible to implement it on a computer as a matrix which is then diagona...
متن کاملar X iv : 0 70 7 . 40 46 v 1 [ m at h . A G ] 2 7 Ju l 2 00 7 CLIFFORD ’ S THEOREM FOR COHERENT SYSTEMS
Let C be an algebraic curve of genus g ≥ 2. We prove an analogue of Clifford’s theorem for coherent systems on C and some refinements using results of Re and Mercat.
متن کامل